(deftheme wangpeng
  "Created 2014-01-09.")

(custom-theme-set-variables
 'wangpeng
 '(case-fold-search nil)
 '(proof-strict-read-only t)
 '(column-number-mode t)
 '(show-paren-mode t))

(custom-theme-set-faces
 'wangpeng
 '(font-lock-cvariable-face ((t (:foreground "cyan"))))
 '(proof-eager-annotation-face ((t (:background "black")))) '(proof-eager-annotation-face ((t nil)))
 '(proof-error-face ((t nil)))
 '(proof-tactics-name-face ((t (:foreground "#b58900"))))
 '(coq-cheat-face ((t (:height 2.0 :box (:line-width 2 :color "red") :background "red"))))
 '(proof-locked-face ((t (:background "midnight blue"))))
 '(proof-queue-face ((t (:background "dark slate blue"))))
 '(font-lock-function-name-face ((t (:foreground "#268bd2" :weight bold))))
 '(font-lock-keyword-face ((t (:foreground "#cb4b16"))))
 '(font-lock-type-face ((t (:foreground "#859900" :slant italic))))
 '(font-lock-variable-name-face ((t (:foreground "#2aa198" :slant italic :weight bold))))
 '(rainbow-delimiters-depth-1-face ((t (:foreground "#839496"))))
 '(rainbow-delimiters-depth-2-face ((t (:foreground "dark orange"))))
 '(rainbow-delimiters-depth-3-face ((t (:foreground "yellow"))))
 '(rainbow-delimiters-depth-4-face ((t (:foreground "green"))))
 '(rainbow-delimiters-depth-5-face ((t (:foreground "cyan"))))
 '(rainbow-delimiters-depth-6-face ((t (:foreground "blue"))))
 '(rainbow-delimiters-depth-7-face ((t (:foreground "magenta4"))))
 '(rainbow-delimiters-depth-8-face ((t (:foreground "magenta3"))))
 '(rainbow-delimiters-depth-9-face ((t (:foreground "magenta1"))))
 '(rainbow-delimiters-unmatched-face ((t (:foreground "red"))))
 '(default ((t (:background "#002b36" :foreground "#839496")))))

(provide-theme 'wangpeng)
